Matteo Cimini Curriculum Vitae Indiana University, CREST 420 North Walnut Street, Bloomington, IndianaPhone: +

Source URL: cimini.info

• Theoretical computer science
• Symposium on Principles of Programming Languages
• Operational semantics
• Cimini
• Computer science

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan

Source URL: stijnheymans.net

• Predicate logic
• Mathematical logic
• Propositional calculus
• Automated theorem proving
• Query languages
• Datalog
• Prolog
• Logic programming
• Ground expression
• Horn clause
• Substitution
• First-order logic

DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton

Source URL: chrisseaton.com

• Software
• Computing
• Parsing algorithms
• Compiler construction
• Formal languages
• Parser generators
• Parsing
• Compiler-compiler
• Syntax
• Programming language
• Compiler
• Yacc

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Chicago Chicago, Illinois 60615

Source URL: swig.org

• Cross-platform software
• Object-oriented programming languages
• Scripting languages
• High-level programming languages
• SWIG
• Python
• Entry point
• C++
• D
• Python syntax and semantics
• Pyrex

Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz

Source URL: www.cs.waikato.ac.nz

• Logic in computer science
• Non-classical logic
• Query languages
• Prolog
• Logic programming
• Denotational semantics
• Programming language
• Logic
• Modal logic
• Software engineering
• Computing
• Computer programming

Errata This document contains errata for Modern Programming Languages: A Practical Introduction, 2nd ed. by Adam Brooks Webber, published in 2011 by Franklin, Beedle & Associates, Inc. These corrections represent all err

Source URL: www.webber-labs.com

• Denotational semantics
• Applied mathematics
• Theoretical computer science
• Logic in computer science
• Models of computation

Developing Bigraphical Languages Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

Source URL: www.itu.dk

english: the lightest weight programming language of them all

Source URL: ll4.csail.mit.edu

• Programming language
• Semantics
• Martini
• Filter
• Drink
• Software engineering
• Data management
• Computing
• Query languages
• SQL